Dedicated to our colleague and friend Michael Machtey

A NOTE ON REWRITING THEORY FOR UNIQUENESS OF ITERATION Dedicated to our friend and colleague

Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quanti ed conditional equations. We use a technique of Lambek[18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...

A NOTE ON REWRITING THEORY FOR UNIQUENESS OFITERATIONDedicated to our friend and colleague Jim

Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quantiied conditional equations. We use a technique of Lambekk18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...

This is dedicated to our former chairman Dr. Mahmoud Rohani

Evangelos Anastassakis: Scientist, Colleague and Friend

I first met Evangelos at the University of Pennsylvania in the Fall of 1969. Fred Pollak and I had started setting up a Raman laboratory at Brown University and, given Fred’s interest and experience in uniaxial stress techniques, we had decided to launch a program for measuring the effect of such stress on Raman phonons in solids, in particular semiconductors. We decided to begin with silicon. ...

Thomas G. Pickering: friend, colleague and scientist.

We, in common with many others, realized that with his passing, an era in hypertension research had also ended, and that it would be remiss of us and of ‘Blood Pressure Monitoring’ on which he served with us as a senior editor for so many years, if we did not pay tribute to his remarkable achievements. We acknowledge it as a tribute to the friendship and respect that Tom inspired across the wor...